문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 명제 논리 (문단 편집) == 명제 논리에서의 해석 == 명제 논리에서의 '''해석(interpretation)'''은 각 명제에 진리값을 할당하는 것이다. 예를 들어 [math((P\;\&\;Q\;\&\;R))]이라는 문장이 있다고 생각해보자. 여기서 각 명제에 [math(T)]를 할당하는 것은 한 가지 해석이다. 각각의 명제는 [math(T)]이거나 [math(F)]일 수 있으므로, [math(n)]개의 명제가 있는 문장은 [math(2^n)]개의 해석이 가능하다. 즉 이상의 예에서는 다음과 같은 여덟 가지의 해석이 가능하다는 것이다. 1. [math(\{T,\,T,\,T\})] 1. [math(\{T,\,T,\,F\})] 1. [math(\{T,\,F,\,T\})] 1. [math(\{T,\,F,\,F\})] 1. [math(\{F,\,T,\,T\})] 1. [math(\{F,\,T,\,F\})] 1. [math(\{F,\,F,\,T\})] 1. [math(\{F,\,F,\,F\})] 이러한 해석의 정의에 따라 명제 논리에서의 타당성, 귀결, 일관성이 다음과 같이 정의될 수 있다. * 문장 [math(\phi)]가 모든 해석 하에서 참일 경우 문장 [math(\phi)]는 타당하다. * 문장 [math(\phi)]와 문장집합 [math(\Gamma)]에 대해, [math(\Gamma)]의 모든 문장들을 참이게 하면서 [math(\phi)]를 거짓이게 하는 해석이 존재하지 않을 경우 [math(\phi)]는 [math(\Gamma)]의 귀결이다. * 문장집합 [math(\Gamma)]에 대해, [math(\Gamma)]의 모든 문장들을 참이게 하는 해석이 하나라도 존재할 경우 [math(\Gamma)]는 일관적이다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기